modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
Instance Of
- [Mathematical theory](https://wiki.org.ai/Mathematical theory)
- [Logical system](https://wiki.org.ai/Logical system)
- [Intensional logic](https://wiki.org.ai/Intensional logic)
Properties
| Property | Value |
|---|---|
| Instance of | Mathematical theory |
| Subclass of | Logical system,Intensional logic |